Module("lib-refactoring/correctness-preservation.generated",[Imports([(),()]),Strategies([SDefT("get-correctness-violations",[VarDec("analyze",ConstType(SortNoArgs("ATerm"))),VarDec("constraint-error",ConstType(SortNoArgs("ATerm"))),VarDec("constraint-warning",ConstType(SortNoArgs("ATerm")))],[],[]),SDefT("get-correctness-violations-astchange",[VarDec("analyze",ConstType(SortNoArgs("ATerm"))),VarDec("constraint-error",ConstType(SortNoArgs("ATerm"))),VarDec("constraint-warning",ConstType(SortNoArgs("ATerm")))],[],[]),SDefT("semantic-constraint-preservation-issues",[],[],[]),SDefT("is-same-issue",[],[],[]),SDefT("tuple-conc",[],[],[])])])